Розглянуто систему керування запасами, що функціонує неперервно, в якій передбачено довільний розподіл періодів між запитами. На відміну від звичайного методу розміщення замовлення на фіксованому рівні, розглянуто ряд рівнів перезамовлення з заданою імовірністю розміщення замовлення на певному рівні перезамовлення. Величина замовлення залежить від рівня перезамовлення, на якому воно ініціюється. Передбачено, що час упередження розподілено експоненціально. Вимоги, що надходять у періоди відсутності накопичення, втрачаються. Виведено розподіл рівня запасів у перехідному та стаціонарному режимах. Наведено міри продуктивності системи.

Наведено основні аспекти методології роботи команди на основі відповідної підтримки індивідуальних, суспільних і колективних мотиваційних відносин у групі різнорідних агентів. Ключовим поняттям є "колективне зобов'язання". Основні фази розв'язку розподіленої задачі (побудова, підтримка і реалізація колективних зобов'язань) призначено для чотирирівневої абстрактної архітектури. Ефективний і гнучкий алгоритм реконфігурації визначено у значеннях цих загальних рівнів та їх взаємодії. Показано використання алгоритму реконфігурації у середовищі розподілу.

Розглянуто розгалужений процес, що залежить від віку, за якого частки розщеплюються на довільне число. Катастрофи виникають як процес відтворення, що призводить до знищення або виживання усіх часток. Обговорено асимптотичну поведінку засобів для підкритичних, критичних і надкритичних випадків. Результати розповсюджено на випадки, коли іміграція виникає як процес відновлення. Як окремий випадок розглянуто також відповідний марковський розгалужений процес. З цієї узагальненої моделі випливають деякі результати, отримані раніше.

Ріст пухлинних клітин регулюється чергуванням станів латентності та різкого зростання. До того ж час перебування у кожному з них є величиною стохастичною. Розроблено стохастичну модель, що залежить від віку клітини, яка описує розвиток популяції пухлинних клітин. Отримано стохастичні характеристики кількості клітин у кожному зі станів у перехідному та стабільному режимах.

Розглянуто систему черг M/G/1 з кінцевим буфером за випадкового розкладу та LCFS дисципліни обслуговування. Наведено деякі числові результати середнього часу очікування і коефіцієнти варіацій часу очікування за таких дисциплін обслуговування: "першим прибув - першим обслуговано" (FCFS), випадковий розклад, "останнім прибув - першим обслуговано" (LCFS). Показано, що варіації часу очікування за FCFS є найменшими, а за LCFS - найбільшими.

Наведено паралельні розрахунки явищ електромагнітного поля. Подано короткі технічні характеристики використаних паралельних MIMD комп'ютерів. Розглянуто декілька паралельних алгоритмів: метод скінченнорізницевих часових областей, метод кінцевих елементів (МКЕ) та передпроцесорний модуль для МКЕ з автоматичним вибором кроку сітки. Досліджено властивості розроблених алгоритмів.

Розглянуто використання логічного програмування мовою Prolog для розробки систем автоматизованого проектування пристроїв ASIC (спеціалізованих інтегральних схем) на базі досвіду, набутого під час розробки системи CAD-LOGIC. Описано використання мови Prolog на прикладах, що ілюструють евристичне спрощення логічних функцій за допомогою булевої алгебри, символьного перетворення логічних послідовностей та декомпозиції опису моделі, заданого у вигляді послідовностей у підмножинах, які реалізовано структурами PAL.

Досліджено коливальну і асимптотичну поведінку розв'язків нелінійних нейтральних різницевих рівнянь з запізненням другого порядку. Наведено приклади.

Проведено розрахунок складних процесів масопереносу, а саме, дифузійно-зміненого потоку сильнов'язкої рідини в перехідних процесах. Паралельні алгоритми широко використано на основних етапах розрахунків (складання матриць, лінійна розв'язуюча програма). Ефективне розподілене виконання зазначених алгоритмів забезпечує удосконалена система керування задачами з подвійним зворотнім зв'язком. Перший контур зворотнього зв'язку організований поза програмою і охоплює систему діагностики мереж з механізмами розподілення задач та міграції. Другий контур зворотнього зв'язку сильно впливає на чисельний алгоритм і динамічно корегує подрібнення сітки на кожному кроці ітерації. У стратегіях розподілу задач використано прогнозування стохастичної ефективності.

Наведено метод паралельної реалізації подрібнення адаптивної сітки в скінченнорізницевій моделі циркуляції океану. Метод грунтується на моделі "податливих задач" із коефіцієнтом неефективності, що дозволяє отримати прості вирази для різних рівнів паралелізму. Цей підхід перевірено за реальних умов, для чого розроблено стратегію компенсації навантажень, що будується на добре відомому порівневому відбитті. Наведено результати попередніх експериментів.

Описано деякі алгоритми евристичного планування, що використовуються під час автоматизованого проектування паралельних систем. Наведено результати емпіричної оцінки алгоритмів планування з обмеженням часу, ресурсів та часу/ресурсів. Особливу увагу приділено розбіжностям між конструктивними і трансформаційними алгоритмами.

Получены формулы, включающие симметричные функции для расчета числа матриц с нулями и единицами при некоторых ограничениях. Приведена явная формула для числа матриц заданной размерности с заданным числом нулей и единиц при определенном размещении единиц в матрице.

Розглянуто дві моделі організації черг із повторенням з урахуванням можливості невдалого обслуговування замовника. Стратегія повторень відноситься до порогового типу. Отримано вкладений розподіл стаціонарної орбіти.

Получена функция показателя больших отклонений для марковского модулированного процесса с использованием результата Donsker и Varadhan. Эта функция имеет форму, отличную от приведенной в работе Iscole и др. Марковский модулированный процесс состоит из марковского модулированного вероятностного процесса, марковского "жидкостного" процесса и процесса с групповыми поступлениями. Получен асимптотический показатель затухания установившейся загрузки для модели очереди с марковским модулированным процессом в качестве процесса поступления. Этот асимптотический показатель отличен от полученного Duffield.

Розглянуто клас стохастичних процесів із напівмарковськими перемиканнями (або в напівмарковському середовищі). Доведено теореми типу принципу усереднення та дифузної апроксимації у випадку асимптотичного ергодичного середовища. Досліджено збіжність до розв'язку диференціального рівняння з марковським перемиканням або до дифузного процесу в марковському середовищі для випадку асимптотично збільшеного середовища. Розглянуто застосування до аналізу марковських та напівмарковських систем організації черг за умов інтенсивного трафіка.

Рассмотрены математические модели для исследований климата как связующее звено между физическими и вычислительными моделями. В этих моделях учитывается влияние маломасштабных явлений на крупномасштабные свойства моделируемой системы, хотя первые не могут быть выделены из вторых с помощью имеющихся технических средств и вычислительных процедур. Климатические системы не относятся к классу систем, чьи динамические свойства выявляются исключительно в переходных состояниях. Поэтому чувствительность моделей к связным процедурам требует исследования схем, предназначенных для передачи данных между компонентами. Такие исследования предлагается выполнять на основе связи между возрастанием ошибки и степенью связности модели компонентов, используя адаптивное управление ошибкой.

Отримано загальний розв'язок матричного різницевого рівняння Ріккаті методом квазілінеаризації. За допомогою цього методу різницеве рівняння Ріккаті перетворюється на матричне різницеве рівняння Ляпунова. Показано монотонність послідовних наближень. Наведено аналіз чутливості нелінійного матричного різницевого рівняння Ріккаті.

Розглянуто проблему структурного тестування паралельних та розподілених програм на основі спеціально визначеної моделі паралельних керованих течій (ланцюжки програмних модулів). Модель містить вузлові та знакові об'єкти, які, взаємодіючи, можуть представляти різні режими тестованої програми. На цій основі запропоновано метод динамічної символьної інтерпретації для визначення тестових сценаріїв, спроможних виявляти похибки, пов'язані з взаємодією. Методи є менш ушкоджуючими порівняно з класичними динамічними методами аналізу, такими як тестування узгодженості або миттєве відтворення, оскільки вони базуються на моделюванні та об'єднанні декількох методик статичного і динамічного аналізів у єдине ціле.

Описано методику аналізу та синтезу у процесі проектування багатовимірних систем зі зворотним зв'язком. Розроблено оптимальні робастні децентралізовані контролери номінальної та діагонально-переважної номінальної моделей підсистеми котла з використанням сингулярного підходу. Запропоновані контролери є стійкими для опорних сигналів. Випробувано робастність системи зі спроектованими контролерами та проведено порівняння з раніше розробленим багатовимірним пропорційно-інтегральним контролером. Результати моделювання у частотній та часовій областях показали перевагу запропонованих децентралізованих контролерів.

Знайдено ряд критеріїв, за якими двоточкова крайова задача з кронекерівським добутком є самосполучною. У випадку, коли крайова задача не є самосполучною, досліджено критерії, за якими цю крайову задачу з кронекерівським добутком можна зробити самосполучною. Наведена теорія є набагато ширшою за класичну і включає в себе самосполучну крайову задачу як окремий випадок.